English java management extensions: translation to other languages